Rust의 신뢰성 접근 방식은 버그를 피하는 것 이상입니다. 그것은 의도적인 설계의 철학입니다. 모든 잠재적 실패를 두 가지 영역으로 분류합니다: 회복 가능한 그리고 회복 불가능한 오류로 구분합니다. 이를 통해 시스템은 회복 가능하고 예측 가능하며 침묵형 데이터 손상에서 안전하게 보호됩니다.

1. 실패의 분류

예를 들어 파일이 없는 경우와 같이 회복 가능한 오류 는 프로그램이 재시도하거나 사용자에게 알릴 수 있는 예상되는 장애물입니다. 반면, 회복 불가능한 오류 버퍼 오버플로우와 같은 상황은 논리적 결함을 의미하며, 가장 안전한 조치는 즉시 중단하는 것입니다— 실패-즉시-중지 원칙입니다.

2. 계약 기반 개발

신뢰성은 명확한 경계를 통해 달성됩니다. 함수의 사전 조건이 충족되었지만 외부 요인이 실패를 유발할 경우, Result를 반환하세요. 내부 로직이 핵심 불변 조건을 위반할 경우, Rust는 시스템 상태에 추가 피해를 막기 위해 강제 중단을 유도합니다.